
void __attribute__((section(".entry_function"))) _start(void)
{
    //Call PMON BIOS printstr to print message "Hello OS!"
    char *msg = "\rHello OS!\n\r";
    void (*pprintstr)(char *str);
    void (*pprintch)(char ch);
    pprintstr = (void *)0xffffffff8f0d5534;
    pprintch = (void *)0xffffffff8f0d5570;
    (*pprintstr)(msg);
    
    char *status;
    status = (char *)0xffffffffbfe00005;
    char store_data;
    
    while(1)
    {
        while(((*status) & 0x01) != 1)
            ;
        store_data = *(unsigned char *)0xffffffffbfe00000;
        (*pprintch)(store_data);
    }

}
